$\forall$${\it es}$:ES, ${\it Sys}$:AbsInterface(Top), ${\it chain}$:(E(${\it Sys}$)$\rightarrow$(Id List)). chain{-}config(${\it es}$;${\it Sys}$;${\it chain}$) $\in$ $\mathbb{P}$